<TITLE>CSPLib links</TITLE>
<HR><!------------------------------------------------------------------------>
<CENTER>
<SMALL>
The CSPLib site is mirrored in
<A HREF="http://www.csplib.org/">England</A> and the
<A HREF="http://www.cs.cornell.edu/home/selman/csplib/"> United States</A>
</SMALL>
</CENTER>
<HR><!------------------------------------------------------------------------>
<CENTER>
<H1>CSPLib: a problem library for constraints</H1>

<TABLE>
<TR> <TD> maintained by
     <TD ALIGN=LEFT> <A HREF="http://www.dcs.st-and.ac.uk/~ipg/">
          <B>Ian P. Gent</B></A>
          <ADDRESS><a href="mailto:ipg@dcs.st-and.ac.uk">
          ipg@dcs.st-and.ac.uk</a></ADDRESS>
     <TD> and     
     <TD ALIGN=LEFT> <A HREF="http://www.cs.york.ac.uk/~tw/">
          <B>Toby Walsh</B></A> 
          <ADDRESS><a href="mailto:tw@cs.york.ac.uk">
          tw@cs.york.ac.uk</a></ADDRESS>
<TR>
<TD>
with help from
     <TD ALIGN=LEFT> <A HREF="http://simon.cs.cornell.edu/home/selman/">
          <B>Bart Selman</B></A>
          <ADDRESS><a href="mailto:selman@cs.cornell.edu">
          selman@cs.cornell.edu</a></ADDRESS>

</TABLE>
</CENTER>
<HR><!------------------------------------------------------------------------>
<P>
<H1> Constraint solvers </H1>
<P>


<UL>

<LI> 
<A HREF="ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab">
CSPLab</A> in Scheme

<LI> 
Peter van Beek's 
<A HREF="ftp://ftp.cs.ualberta.ca/pub/ai/csp/">
C library</A> for solving binary constraint
satisfaction problems

<LI> 
<A HREF="http://www.ens.fr/~laburthe/claire.html">
CLAIRE</A> object oriented constraint programming language

<LI> 
<A HREF="http://www.ecrc.de/eclipse/eclipse.html">
ECLiPse</A> constraint logic programming language

<LI> 
<A HREF="http://pauillac.inria.fr/~diaz/gnu-prolog">
GNU Prolog</A> with a finite-domain constraint solver

<LI> 
<A HREF="http://liawww.epfl.ch/~torrens/Project/JCL/">
Java constraint library</A>

<LI> 
<A HREF="http:///www.aotl.com">
JSolver/A>, an integer constraint-programming class library for Java

<LI> 
<A HREF="http://www.mozart-oz.org/">
Oz</A> concurrent constraint programming language, implemented
within the Mozart Programming System.


<LI> 
<A HREF="http://www.cis.upenn.edu/~screamer-tools/home.html">
Screamer</A> Lisp-based constraint tool


<LI> 
<A HREF="http://www.cs.washington.edu/research/constraints/cassowary/">
Cassowary</A> C++ incremental constraint toolkit

<LI> 
<A HREF=" http://www.loria.fr/~zhou/ziran.html">
NCL</A> A constraint language developed by  
<a href="http://www.loria.fr/~zhou">Jianyang Zhou</a>.





</HR>

</UL>
<HR><!------------------------------------------------------------------------>

<UL>

 <A HREF="index.html"> Back</A> to CSPLib home page.


